A Platform-Independent Component Modeling Language for Distributed Real-time and Embedded Systems
نویسندگان
چکیده
منابع مشابه
A Platform-Independent Component QoS Modeling Language for Distributed Real-time and Embedded Systems
Distributed Real-time and embedded (DRE) systems require multiple, simultaneous quality of service (QoS) properties, such as predictability, reliability and security for their correct operation. With increasing focus on composing DRE systems from components, it becomes necessary for system designers to ensure that the system composition and its QoS configurations are functionally and systemical...
متن کاملPlatform-independent Design for Embedded Real-time Systems
With the increasing complexity of the emerging embedded real-time systems, traditional design approaches can not provide sufficient support for the development of these systems anymore. They especially lack the ability to trace and analyse real-time system properties. In this paper, we investigate the design difficulties for embedded real-time systems and propose several principles for coping w...
متن کاملChapter 1 PLATFORM - INDEPENDENT DESIGN FOR EMBEDDED REAL - TIME SYSTEMS
With the increasing complexity of the emerging embedded real-time systems, traditional design approaches can not provide sufficient support for the development of these systems anymore. They especially lack the ability to trace and analyse real-time system properties. In this paper, we investigate the design difficulties for embedded real-time systems and propose several principles for coping w...
متن کاملDeveloping Distributed, Real-time, and Embedded Systems with Modeling Tools and Component Middleware: A Case Study
Software for distributed real-time and embedded (DRE) systems must handle variabilities arising from (1) integration with various legacy subsystems using different technologies, languages, and platforms, (2) fine tuning needed to satisfy changing customer needs, and (3) appropriate packaging, configuration and deployment of functionality onto available system resources. Developers of applicatio...
متن کاملModeling and Validating Distributed Embedded Real-Time Systems with VDM++
The complexity of real-time embedded systems is increasing, for example due to the use of distributed architectures. An extension to the Vienna Development Method (VDM) is proposed to address the problem of deployment of software on distributed hardware. The limitations of the current notation are discussed and new language elements are introduced to overcome these deficiencies. The impact of t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 2007
ISSN: 0022-0000
DOI: 10.1016/j.jcss.2006.04.008